Towards a Methodology for Rule-Based Programming
Identifieur interne : 008617 ( Main/Exploration ); précédent : 008616; suivant : 008618Towards a Methodology for Rule-Based Programming
Auteurs : Carlos Castro ; Claude KirchnerSource :
English descriptors
Abstract
In this paper, we propose general guidelines that could be considered to define transformation rules when programming using a rule-based approach. We apply the proposed steps for solving some typical problems in Computer Science. Through these examples, we also show how clear and easy it is to prove properties such as correctness, completeness and termination following these guidelines when a rule-based paradigm is used.
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: 003683
- to stream Crin, to step Curation: 003683
- to stream Crin, to step Checkpoint: 001305
- to stream Main, to step Merge: 008A73
- to stream Main, to step Curation: 008617
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="160">Towards a Methodology for Rule-Based Programming</title></titleStmt><publicationStmt><idno type="RBID">CRIN:castro02a</idno><date when="2002" year="2002">2002</date><idno type="wicri:Area/Crin/Corpus">003683</idno><idno type="wicri:Area/Crin/Curation">003683</idno><idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">003683</idno><idno type="wicri:Area/Crin/Checkpoint">001305</idno><idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">001305</idno><idno type="wicri:Area/Main/Merge">008A73</idno><idno type="wicri:Area/Main/Curation">008617</idno><idno type="wicri:Area/Main/Exploration">008617</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">Towards a Methodology for Rule-Based Programming</title><author><name sortKey="Castro, Carlos" sort="Castro, Carlos" uniqKey="Castro C" first="Carlos" last="Castro">Carlos Castro</name></author><author><name sortKey="Kirchner, Claude" sort="Kirchner, Claude" uniqKey="Kirchner C" first="Claude" last="Kirchner">Claude Kirchner</name></author></analytic></biblStruct></sourceDesc></fileDesc><profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>rewriting</term><term>rewriting strategy</term><term>rule based programming</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en" wicri:score="386">In this paper, we propose general guidelines that could be considered to define transformation rules when programming using a rule-based approach. We apply the proposed steps for solving some typical problems in Computer Science. Through these examples, we also show how clear and easy it is to prove properties such as correctness, completeness and termination following these guidelines when a rule-based paradigm is used.</div></front></TEI><affiliations><list></list><tree><noCountry><name sortKey="Castro, Carlos" sort="Castro, Carlos" uniqKey="Castro C" first="Carlos" last="Castro">Carlos Castro</name><name sortKey="Kirchner, Claude" sort="Kirchner, Claude" uniqKey="Kirchner C" first="Claude" last="Kirchner">Claude Kirchner</name></noCountry></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 008617 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 008617 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= CRIN:castro02a
|texte= Towards a Methodology for Rule-Based Programming
}}
| This area was generated with Dilib version V0.6.33. |  |